[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 106 98 99 109 124 184 0 109

N.S.

1 0.91 0.84 0.85 0.93 1.06 1.57 0.00 0.93

time (sec)

N/A 0.275 0.059 1.045 0.299 0.257 1.877 0.000 0.785

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 96 88 91 99 113 167 0 99

N.S.

1 0.91 0.84 0.87 0.94 1.08 1.59 0.00 0.94

time (sec)

N/A 0.276 0.048 0.355 0.296 0.273 1.525 0.000 0.775

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 86 76 82 88 104 158 0 87

N.S.

1 0.95 0.84 0.90 0.97 1.14 1.74 0.00 0.96

time (sec)

N/A 0.254 0.042 0.470 0.281 0.265 1.548 0.000 0.404

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 56 84 70 73 89 128 0 73

N.S.

1 1.06 1.58 1.32 1.38 1.68 2.42 0.00 1.38

time (sec)

N/A 0.205 0.005 0.341 0.271 0.251 1.291 0.000 0.348

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 76 100 0 0 0 0 63

N.S.

1 1.00 1.00 1.32 0.00 0.00 0.00 0.00 0.83

time (sec)

N/A 0.245 0.006 0.280 0.000 0.000 0.000 0.000 0.644

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 75 109 0 0 0 0 93

N.S.

1 1.00 0.97 1.42 0.00 0.00 0.00 0.00 1.21

time (sec)

N/A 0.267 0.041 0.240 0.000 0.000 0.000 0.000 0.927

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 60 88 84 75 99 182 0 79

N.S.

1 0.92 1.35 1.29 1.15 1.52 2.80 0.00 1.22

time (sec)

N/A 0.234 0.044 0.674 0.280 0.265 1.896 0.000 0.584

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 95 94 92 87 109 197 0 176

N.S.

1 0.90 0.89 0.87 0.82 1.03 1.86 0.00 1.66

time (sec)

N/A 0.278 0.040 0.477 0.288 0.252 2.601 0.000 0.978

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 109 99 101 102 119 214 0 116

N.S.

1 0.88 0.80 0.81 0.82 0.96 1.73 0.00 0.94

time (sec)

N/A 0.283 0.043 0.692 0.274 0.250 3.847 0.000 0.644

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 138 124 131 185 172 270 0 152

N.S.

1 0.83 0.75 0.79 1.11 1.04 1.63 0.00 0.92

time (sec)

N/A 0.389 0.090 1.511 0.280 0.260 2.135 0.000 0.841

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 130 116 123 174 160 250 0 140

N.S.

1 0.86 0.76 0.81 1.14 1.05 1.64 0.00 0.92

time (sec)

N/A 0.379 0.088 1.190 0.289 0.258 1.923 0.000 0.816

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 118 101 114 155 148 240 0 125

N.S.

1 0.87 0.74 0.84 1.14 1.09 1.76 0.00 0.92

time (sec)

N/A 0.362 0.065 1.606 0.303 0.271 1.839 0.000 0.755

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 70 57 103 138 127 206 0 109

N.S.

1 0.84 0.69 1.24 1.66 1.53 2.48 0.00 1.31

time (sec)

N/A 0.223 0.030 0.780 0.291 0.257 1.513 0.000 0.452

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 103 134 142 0 0 0 131

N.S.

1 1.00 0.80 1.04 1.10 0.00 0.00 0.00 1.02

time (sec)

N/A 0.310 0.109 0.812 0.416 0.000 0.000 0.000 0.801

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 79 112 0 0 0 0 141

N.S.

1 1.00 0.89 1.26 0.00 0.00 0.00 0.00 1.58

time (sec)

N/A 0.300 0.114 0.792 0.000 0.000 0.000 0.000 0.646

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 139 157 0 0 0 0 161

N.S.

1 1.00 0.91 1.03 0.00 0.00 0.00 0.00 1.06

time (sec)

N/A 0.343 0.072 1.011 0.000 0.000 0.000 0.000 0.803

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 80 114 114 144 144 253 0 120

N.S.

1 0.92 1.31 1.31 1.66 1.66 2.91 0.00 1.38

time (sec)

N/A 0.261 0.073 0.800 0.314 0.262 5.171 0.000 0.699

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 136 152 125 152 155 275 0 142

N.S.

1 0.84 0.94 0.78 0.94 0.96 1.71 0.00 0.88

time (sec)

N/A 0.387 0.057 1.351 0.297 0.247 8.593 0.000 0.756

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 142 124 133 183 167 287 0 244

N.S.

1 0.83 0.73 0.78 1.07 0.98 1.68 0.00 1.43

time (sec)

N/A 0.387 0.065 0.963 0.265 0.264 13.613 0.000 0.981

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 169 154 162 261 202 328 0 186

N.S.

1 0.82 0.75 0.79 1.27 0.99 1.60 0.00 0.91

time (sec)

N/A 0.432 0.099 1.968 0.283 0.241 2.573 0.000 0.935

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 161 146 154 242 190 316 0 174

N.S.

1 0.84 0.76 0.81 1.27 0.99 1.65 0.00 0.91

time (sec)

N/A 0.417 0.089 1.411 0.307 0.269 2.479 0.000 0.917

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 136 132 145 222 177 296 0 160

N.S.

1 0.87 0.84 0.92 1.41 1.13 1.89 0.00 1.02

time (sec)

N/A 0.304 0.079 1.105 0.314 0.264 2.158 0.000 0.787

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 96 77 124 197 161 267 0 147

N.S.

1 0.96 0.77 1.24 1.97 1.61 2.67 0.00 1.47

time (sec)

N/A 0.238 0.031 0.883 0.285 0.250 2.023 0.000 0.755

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 139 165 184 0 0 0 196

N.S.

1 1.00 0.82 0.97 1.08 0.00 0.00 0.00 1.15

time (sec)

N/A 0.358 0.153 1.202 0.452 0.000 0.000 0.000 0.889

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 150 159 201 0 0 0 195

N.S.

1 1.00 0.93 0.98 1.24 0.00 0.00 0.00 1.20

time (sec)

N/A 0.359 0.144 1.110 0.445 0.000 0.000 0.000 0.784

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 164 173 0 0 0 0 205

N.S.

1 1.00 0.91 0.96 0.00 0.00 0.00 0.00 1.14

time (sec)

N/A 0.365 0.160 1.388 0.000 0.000 0.000 0.000 0.797

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 189 170 183 0 0 0 0 221

N.S.

1 1.00 0.90 0.97 0.00 0.00 0.00 0.00 1.17

time (sec)

N/A 0.394 0.082 1.282 0.000 0.000 0.000 0.000 1.077

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 86 165 147 202 174 311 0 154

N.S.

1 0.83 1.60 1.43 1.96 1.69 3.02 0.00 1.50

time (sec)

N/A 0.269 0.096 1.319 0.275 0.254 14.105 0.000 0.747

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 121 185 153 224 185 326 0 174

N.S.

1 0.81 1.23 1.02 1.49 1.23 2.17 0.00 1.16

time (sec)

N/A 0.310 0.073 0.953 0.272 0.255 25.705 0.000 1.027

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 179 188 164 248 198 347 0 192

N.S.

1 0.84 0.88 0.77 1.16 0.93 1.62 0.00 0.90

time (sec)

N/A 0.436 0.096 1.562 0.291 0.257 45.622 0.000 1.138

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 198 290 190 337 230 389 0 217

N.S.

1 0.83 1.22 0.80 1.42 0.97 1.63 0.00 0.91

time (sec)

N/A 0.473 0.096 2.457 0.271 0.263 3.382 0.000 2.776

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 169 276 182 318 218 367 0 205

N.S.

1 0.88 1.43 0.94 1.65 1.13 1.90 0.00 1.06

time (sec)

N/A 0.388 0.080 1.381 0.280 0.248 3.016 0.000 0.687

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 153 264 173 290 206 360 0 191

N.S.

1 0.86 1.48 0.97 1.63 1.16 2.02 0.00 1.07

time (sec)

N/A 0.313 0.066 1.644 0.302 0.255 2.751 0.000 0.852

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 115 77 145 264 188 316 0 175

N.S.

1 0.92 0.62 1.16 2.11 1.50 2.53 0.00 1.40

time (sec)

N/A 0.263 0.022 1.172 0.291 0.271 2.214 0.000 0.801

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 174 193 220 0 0 0 248

N.S.

1 1.00 0.86 0.95 1.08 0.00 0.00 0.00 1.22

time (sec)

N/A 0.408 0.120 1.420 0.447 0.000 0.000 0.000 1.047

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 190 181 189 240 0 0 0 253

N.S.

1 1.00 0.95 0.99 1.26 0.00 0.00 0.00 1.33

time (sec)

N/A 0.408 0.130 1.287 0.424 0.000 0.000 0.000 0.885

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 163 178 251 0 0 0 258

N.S.

1 1.00 0.94 1.03 1.45 0.00 0.00 0.00 1.49

time (sec)

N/A 0.383 0.126 1.850 0.427 0.000 0.000 0.000 0.941

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 201 193 195 0 0 0 0 261

N.S.

1 1.00 0.96 0.97 0.00 0.00 0.00 0.00 1.30

time (sec)

N/A 0.424 0.128 1.757 0.000 0.000 0.000 0.000 0.893

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 227 227 214 0 0 0 0 298

N.S.

1 1.00 1.00 0.94 0.00 0.00 0.00 0.00 1.31

time (sec)

N/A 0.430 0.091 1.896 0.000 0.000 0.000 0.000 1.011

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 102 191 175 275 202 366 0 186

N.S.

1 0.87 1.63 1.50 2.35 1.73 3.13 0.00 1.59

time (sec)

N/A 0.286 0.125 1.418 0.296 0.266 38.177 0.000 0.805

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 135 235 184 290 216 388 0 208

N.S.

1 0.80 1.40 1.10 1.73 1.29 2.31 0.00 1.24

time (sec)

N/A 0.321 0.094 1.792 0.270 0.270 69.408 0.000 0.984

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 206 293 192 329 228 398 0 317

N.S.

1 0.85 1.21 0.79 1.35 0.94 1.64 0.00 1.30

time (sec)

N/A 0.473 0.075 1.245 0.273 0.255 122.873 0.000 1.337

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 215 166 312 0 0 0 0 0

N.S.

1 1.10 0.85 1.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.022 0.534 2.036 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 155 132 267 0 0 0 0 0

N.S.

1 0.99 0.85 1.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.668 0.184 0.777 0.000 0.000 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 103 108 214 0 0 0 0 0

N.S.

1 0.94 0.98 1.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.409 0.254 1.072 0.000 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 60 104 0 0 0 0 0

N.S.

1 1.00 1.02 1.76 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.266 0.013 1.005 0.000 0.000 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 102 148 0 43 0 0 0

N.S.

1 1.00 1.89 2.74 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.260 0.043 0.854 0.000 0.256 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 98 149 200 0 98 0 0 0

N.S.

1 0.98 1.49 2.00 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.485 0.084 0.855 0.000 0.282 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 138 178 251 0 130 0 0 0

N.S.

1 0.86 1.11 1.56 0.00 0.81 0.00 0.00 0.00

time (sec)

N/A 0.726 0.135 1.027 0.000 0.245 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 194 254 278 0 155 0 0 0

N.S.

1 0.98 1.29 1.41 0.00 0.79 0.00 0.00 0.00

time (sec)

N/A 1.096 0.100 1.029 0.000 0.255 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 186 317 0 0 0 0 0

N.S.

1 1.00 0.92 1.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.420 0.898 0.937 0.000 0.000 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 153 271 0 0 0 0 0

N.S.

1 1.00 0.92 1.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.385 0.695 0.733 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 128 252 0 0 0 0 0

N.S.

1 1.00 1.05 2.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.334 0.065 0.924 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 66 42 68 0 50 116 0 0

N.S.

1 0.96 0.61 0.99 0.00 0.72 1.68 0.00 0.00

time (sec)

N/A 0.232 0.030 0.730 0.000 0.249 0.885 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 128 207 0 127 0 0 0

N.S.

1 1.00 0.85 1.38 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 0.374 0.123 0.813 0.000 0.262 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 165 257 0 182 0 0 0

N.S.

1 1.00 0.85 1.32 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.443 0.222 0.883 0.000 0.257 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 244 222 286 0 221 0 0 0

N.S.

1 1.00 0.91 1.17 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 0.477 0.245 1.052 0.000 0.255 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 256 235 364 358 0 0 0 0

N.S.

1 1.00 0.92 1.42 1.40 0.00 0.00 0.00 0.00

time (sec)

N/A 0.490 0.876 0.820 0.322 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 225 216 321 334 0 0 0 0

N.S.

1 1.00 0.96 1.43 1.48 0.00 0.00 0.00 0.00

time (sec)

N/A 0.444 0.716 0.901 0.315 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 176 187 299 291 0 0 0 0

N.S.

1 1.00 1.06 1.70 1.65 0.00 0.00 0.00 0.00

time (sec)

N/A 0.411 0.132 1.021 0.282 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 86 63 109 70 85 189 0 0

N.S.

1 0.98 0.72 1.24 0.80 0.97 2.15 0.00 0.00

time (sec)

N/A 0.258 0.076 1.201 0.237 0.244 5.146 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 89 55 82 65 75 158 0 0

N.S.

1 0.97 0.60 0.89 0.71 0.82 1.72 0.00 0.00

time (sec)

N/A 0.242 0.035 0.702 0.241 0.251 2.156 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 162 261 406 201 0 0 0

N.S.

1 1.00 0.83 1.34 2.08 1.03 0.00 0.00 0.00

time (sec)

N/A 0.433 0.187 1.411 0.285 0.267 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 250 227 303 0 263 0 0 0

N.S.

1 1.00 0.91 1.21 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.499 0.253 1.718 0.000 0.267 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

306 306 285 345 590 311 0 0 0

N.S.

1 1.00 0.93 1.13 1.93 1.02 0.00 0.00 0.00

time (sec)

N/A 0.552 0.411 1.103 0.309 0.258 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 73 79 83 93 168 0 0

N.S.

1 1.00 0.73 0.79 0.83 0.93 1.68 0.00 0.00

time (sec)

N/A 0.248 0.042 1.280 0.236 0.246 1.394 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 88 104 126 21 0 0 0

N.S.

1 1.00 1.80 2.12 2.57 0.43 0.00 0.00 0.00

time (sec)

N/A 0.260 0.025 1.084 0.307 0.241 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 287 285 375 0 0 0 0 0

N.S.

1 1.00 0.99 1.31 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.769 0.649 1.481 0.000 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 241 352 0 0 0 0 0

N.S.

1 1.00 0.95 1.38 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.671 0.495 1.425 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 211 208 316 0 0 0 0 0

N.S.

1 1.00 0.99 1.50 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.550 0.569 0.697 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 135 151 278 0 0 0 0 0

N.S.

1 1.04 1.16 2.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 0.314 1.300 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

216 216 272 3480 0 0 0 0 0

N.S.

1 1.00 1.26 16.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.611 0.296 26.059 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

228 228 289 5609 0 0 0 0 0

N.S.

1 1.00 1.27 24.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.638 0.322 15.894 0.000 0.000 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 190 357 0 0 0 0 0

N.S.

1 1.00 1.19 2.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.506 0.237 2.459 0.000 0.000 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 224 240 408 0 0 0 0 0

N.S.

1 1.00 1.07 1.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.608 0.408 3.141 0.000 0.000 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

373 373 342 443 0 0 0 0 0

N.S.

1 1.00 0.92 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.069 0.985 2.094 0.000 0.000 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

333 333 306 420 0 0 0 0 0

N.S.

1 1.00 0.92 1.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.968 0.970 2.516 0.000 0.000 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 293 257 384 0 0 0 0 0

N.S.

1 1.00 0.88 1.31 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.790 0.997 1.841 0.000 0.000 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 188 205 354 0 0 0 0 0

N.S.

1 0.98 1.07 1.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.367 0.745 1.199 0.000 0.000 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

300 300 360 1317 0 0 0 0 0

N.S.

1 1.00 1.20 4.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.761 0.543 29.467 0.000 0.000 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

317 317 378 5048 0 0 0 0 0

N.S.

1 1.00 1.19 15.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.809 0.680 13.937 0.000 0.000 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

337 337 388 1381 0 0 0 0 0

N.S.

1 1.00 1.15 4.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.833 0.666 26.520 0.000 0.000 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 251 253 445 0 0 0 0 0

N.S.

1 0.94 0.95 1.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.483 0.590 3.887 0.000 0.000 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

438 438 408 511 0 0 0 0 0

N.S.

1 1.00 0.93 1.17 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.443 1.514 2.928 0.000 0.000 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

402 402 369 488 0 0 0 0 0

N.S.

1 1.00 0.92 1.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.316 1.128 2.845 0.000 0.000 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

307 307 325 452 0 0 0 0 0

N.S.

1 1.00 1.06 1.47 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.729 2.092 1.741 0.000 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 215 267 412 0 0 0 0 0

N.S.

1 0.95 1.18 1.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.406 1.648 1.525 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

385 385 465 1409 0 0 0 0 0

N.S.

1 1.00 1.21 3.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.949 0.821 23.595 0.000 0.000 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

402 402 512 1437 0 0 0 0 0

N.S.

1 1.00 1.27 3.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.924 0.553 32.124 0.000 0.000 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

416 416 500 1523 0 0 0 0 0

N.S.

1 1.00 1.20 3.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.957 0.952 29.441 0.000 0.000 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

429 429 595 1655 0 0 0 0 0

N.S.

1 1.00 1.39 3.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.097 0.644 33.324 0.000 0.000 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 276 322 501 0 0 0 0 0

N.S.

1 0.94 1.10 1.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.534 0.692 4.457 0.000 0.000 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

384 362 363 541 0 0 0 0 0

N.S.

1 0.94 0.95 1.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.624 1.077 5.196 0.000 0.000 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

513 483 401 564 0 0 0 0 0

N.S.

1 0.94 0.78 1.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.800 1.365 4.671 0.000 0.000 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

356 469 421 1105 0 0 0 0 0

N.S.

1 1.32 1.18 3.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.831 1.032 47.766 0.000 0.000 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

277 303 330 994 0 0 0 0 0

N.S.

1 1.09 1.19 3.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.454 0.625 25.006 0.000 0.000 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

192 212 239 2330 0 0 0 0 0

N.S.

1 1.10 1.24 12.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.268 0.730 6.846 0.000 0.000 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

98 100 95 851 0 0 0 0 0

N.S.

1 1.02 0.97 8.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.447 0.032 24.671 0.000 0.000 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

88 95 173 1449 0 136 0 0 0

N.S.

1 1.08 1.97 16.47 0.00 1.55 0.00 0.00 0.00

time (sec)

N/A 0.469 0.510 12.258 0.000 0.251 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

186 195 268 8468 0 0 0 0 0

N.S.

1 1.05 1.44 45.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.275 0.880 14.048 0.000 0.000 0.000 0.000 0.000

[next] [front] [up]